1. <A> Concise introduction to pure mathematics
پدیدآورنده: \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
3. Discovering Patterns in Mathematics and Poetry
پدیدآورنده: \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
4. Elements of Logical Reasoning
پدیدآورنده: / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
5. Essays on the Foundations of Mathematics
پدیدآورنده: \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
6. Logic, Mathematics, and Computer Science.
پدیدآورنده: \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
7. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده: \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
8. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده: / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
9. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده: \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
10. <The> Elements of Advanced Mathematics
پدیدآورنده: \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
11. Towards Mathematical Philosophy
پدیدآورنده: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
12. روش های اثبات
پدیدآورنده: ولمن Velleman دانیل ج. , Daniel J.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
رده :
QA
9
/
و
8
ر
9
1400
13. روش‌های اثبات
پدیدآورنده: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
رده :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
14. فلسفه ریاضیات
پدیدآورنده: دامت Dummett ، مایکل ا. ای. , Michael A. E.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
15. فلسفه ریاضیات
پدیدآورنده: مایکل دامت,دامت,Dummett
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
16. مفهوم‌نگاشت
پدیدآورنده: / گوتلوب فرِگه,فرگه,Frege
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
